The Formal Semantics of Grammaticalization
نویسندگان
چکیده
Grammaticalization is the gradual historical development of function morphemes from content morphemes. Among the commonly identified characteristics of this process is what is often called “semantic bleaching”: while becoming more and more functional the morpheme loses most of its meaning. In this paper, I ask what sense we can make of “semantic bleaching” from a formal semantic perspective. I consider several ways of characterizing the semantics of functional morphemes and discuss what has to happen to the meaning of a morpheme that is being grammaticalized. My main claims are:
منابع مشابه
The Evolution of Korean Dative Markers: Its Formal and Cognitive Motivations
This article examines the grammaticalization process of the Korean dative markers -eykey, -hanthey, -tele, and -pwokwo based on the two motivations for grammaticalization. The first motivation, frequency, is explained by providing token frequencies of each marker in the largest historical corpus available in Korean. All four dative markers arose through the highly frequent usages of their sourc...
متن کاملPragmatic and cognitive aspects of the research into
Issues concerning data, evidence, methods and reasoning in linguistic studies are central topics of contemporary linguistics. The present paper aims to be a contribution to this line of inquiry, discussing the relationship between grammaticalization research and cognitive linguistics and providing a summary of methods and data types used in pragmatically and cognitively oriented grammaticalizat...
متن کاملA short introduction to two approaches in formal verification of security protocols: model checking and theorem proving
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل